The Computational Complexity of Feasibility Analysis for Conditional DAG Tasks

نویسندگان

چکیده

The Conditional DAG (CDAG) task model is used for modeling multiprocessor real-time systems containing conditional expressions which outcomes are not known prior to their evaluation. Feasibility analysis CDAG tasks upon platforms shown be complete the complexity class pspace ; assuming \({\rm np}\not= {\rm pspace} \) , this result rules out use of Integer Linear Programming solvers solving problem efficiently. It further that there can no pseudo-polynomial time algorithm solves unless p = pspace.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

investigating the feasibility of a proposed model for geometric design of deployable arch structures

deployable scissor type structures are composed of the so-called scissor-like elements (sles), which are connected to each other at an intermediate point through a pivotal connection and allow them to be folded into a compact bundle for storage or transport. several sles are connected to each other in order to form units with regular polygonal plan views. the sides and radii of the polygons are...

the application of multivariate probit models for conditional claim-types (the case study of iranian car insurance industry)

هدف اصلی نرخ گذاری بیمه ای تعیین نرخ عادلانه و منطقی از دیدگاه بیمه گر و بیمه گذار است. تعین نرخ یکی از مهم ترین مسایلی است که شرکتهای بیمه با آن روبرو هستند، زیرا تعیین نرخ اصلی ترین عامل در رقابت بین شرکتها است. برای تعیین حق بیمه ابتدا می باید مقدار مورد انتظار ادعای خسارت برای هر قرارداد بیمه را برآورد کرد. روش عمومی مدل سازی خسارتهای عملیاتی در نظر گرفتن تواتر و شدت خسارتها می باشد. اگر شر...

15 صفحه اول

conditional copula-garch methods for value at risk of portfolio: the case of tehran stock exchange market

ارزش در معرض ریسک یکی از مهمترین معیارهای اندازه گیری ریسک در بنگاه های اقتصادی می باشد. برآورد دقیق ارزش در معرض ریسک موضوع بسیارمهمی می باشد و انحراف از آن می تواند موجب ورشکستگی و یا عدم تخصیص بهینه منابع یک بنگاه گردد. هدف اصلی این مطالعه بررسی کارایی روش copula-garch شرطی در برآورد ارزش در معرض ریسک پرتفویی متشکل از دو سهام می باشد و ارزش در معرض ریسک بدست آمده با روشهای سنتی برآورد ارزش د...

Timing Analysis for DAG-based and GFP Scheduled Tasks

Modern embedded systems have made the transition from single-core to multi-core architectures, providing performance improvement via parallelism rather than higher clock frequencies. DAGs are considered among the most generic task models in the real-time domain and are well suited to exploit this parallelism. In this paper we provide a schedulability test using response-time analysis exploiting...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: ACM Transactions on Parallel Computing

سال: 2023

ISSN: ['2329-4949', '2329-4957']

DOI: https://doi.org/10.1145/3606342